Modeling and Delay Propagation Analysis for Flight Operation Based on Time Interval Petri Net
نویسندگان
چکیده
منابع مشابه
Modeling and Delay Propagation Analysis for Flight Operation Based on Time Interval Petri Net
A Time Interval Petri net (TIPN) is proposed and used to model flight operation. Based on the TIPN model, the flight delay propagation analysis algorithm is provided, which reduces the complexity of flight delay propagation analysis algorithm. Time interval constraints are attached to places and transitions in TIPN model, which could model the flight turnaround time and flight flying period. Me...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملPetri Net Modeling for Parallel Bank ATM Systems
In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...
متن کاملDelay Time Estimation for Petri Net Models of Signaling Pathways Based on Experimental Data
In this paper, we propose a delay time estimation algorithm for Petri net models of signaling pathways based on experimental data. Firstly, we model signaling pathways (we use the example of ErbB4 receptor signaling pathway) with discrete Petri nets. Then, we propose a delay time estimation algorithm for Petri net models with experimental data, and assign estimated delay times to a model to be ...
متن کاملA Modeling Technique for Bpr Based on Extended Petri Net
This article develops an extended Petri net model based on EEPC, for the purpose of achieving the correctness and validity of qualitative and quantitative business process analysis, as warranted by the literature. The proposed model then is applied to a business license application process at a government agency and the findings are reported.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Open Automation and Control Systems Journal
سال: 2015
ISSN: 1874-4443
DOI: 10.2174/1874444301406010433